CodeSOD: Validation Trimmed Away
thedailywtf.com·12h
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·14h
Dealing with alternatives
jemarch.net·1d
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·4h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
Subterms Modulo Theories I
philipzucker.com·2d
Tools I use
prepend.com·16h
Loading...Loading more...